Handbook of logic in computer science Vol. 4, Semantic modelling
- Författare
- T. S. E. Maibaum Dov M. Gabbay S. Abramsky
- (Reprinted 2002)
- Genre
- Ej skönlitteratur
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Clarendon Press | 1995 | Storbritannien, Oxford | 651 sidor. ill. |